[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification cell-heap-aux
actualize
   rg
with
   cell

   
by morphism
   :obj → cell; 
   [ ] → [ ]; 
   [ ] → [ ]; 
   => → =>; 
   _∃ → _∃; 
   mk → mk; 
   [ ]o → [ ]o; 
   [ ] → [ ]; 
   ==> → ==>; 
   _∃ → _∃; 
   mk → mk; 
   [ ] → [ ]; 
   [ ] → [ ]; 
   rely → rely; 
   o → ce; 
   o0 → ce0; 
   o1 → ce1; 
   a → o; 
   a0 → o0; 
   a1 → o1; 
   f → cf; 
   f0 → cf0; 
   f1 → cf1; 
   g → af; 
   g0 → af0; 
   g1 → af1; 
   oP → oP; 
   oR → oR
end actualize